Maksimova ON VARIABLE SEPARATION IN MODAL LOGICS
نویسنده
چکیده
It was proved in [4] that interpolation properties of propositional normal modal logics (n.m.l.) are closely connected with amalgamation properties of associated varieties of modal algebras. In this paper we find an algebraic equivalent of the Hallden property in modal logics, namely, we prove that the Hallden-completeness in any n.m.l. is equivalent to the so-called Super-Embedding Property of a suitable class of modal algebras. The Joint Embedding Property of this class of algebras is equivalent to the PseudoRelevance Property. We consider connections of the above-mentioned properties with interpolation and amalgamation. Also an algebraic equivalent of the Principle of Variable Separation in superintuitionistic logics will be found.
منابع مشابه
Interpolation Property and Principle of Variable Separation in Substructural Logics
We will discuss Craig’s interpolation property (CIP), deductive interpolation property (DIP), pseudo-relevance property (PRP), principle of variable separation (PVS) and Halldén completeness (HC) of substructural logics, and give algebraic characterizations of these properties. These characterizations have been studied for modal and superintuitionistic logics, e.g. in Maksimova (1977), [2] etc....
متن کاملLocal tabularity without transitivity
According to the classical result by Segerberg and Maksimova, a modal logic containing K4 is locally tabular i↵ it is of finite height. The notion of finite height can also be defined for logics, in which the master modality is expressible (‘pretransitive’ logics). We observe that every locally tabular logic is a pretransitive logic of finite height. Then we prove some semantic criteria of loca...
متن کاملThe Craig Interpolation Theorem in Multi - Modal Logics
In [13] and [14] Maksimova proved that a normal modal logic (with one unary modality) has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property. (These notions will be recalled below.) In this paper we extend Maksimova’s theorem to normal multi-modal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily norma...
متن کاملInterrelation of Algebraic, Semantical and Logical Properties for Superintuitionistic and Modal Logics
We consider the families L of propositional superintuitionistic logics (s.i.l.) andNE(K) of normal modal logics (n.m.l.). It is well known that there is a duality between L and the lattice of varieties of pseudo-boolean algebras (or Heyting algebras), and also NE(K) is dually isomorphic to the lattice of varieties of modal algebras. Many important properties of logics, for instance, Craig’s int...
متن کاملInterpolation and Beth Definability over the Minimal Logic
Extensions of the Johansson minimal logic J are investigated. It is proved that the weak interpolation property WIP is decidable over J. Well-composed logics with the Graig interpolation property CIP, restricted interpolation property IPR and projective Beth property PBP are fully described. It is proved that there are only finitely many well-composed logics with CIP, IPR or PBP; for any well-c...
متن کامل